The concept of “style of thought” or Denkstil is today probably primarily associated with the Polish microbiologist and philosopher of science Ludwik Fleck and his writings from the 1930s. It was however used quite extensively already by Karl Mannheim in his writings on the sociology of knowledge from the 1920s. Quite interestingly, the concept of style of thought was also used twice by Rudolf Carnap in the preface to Der logische Aufbau der Welt from 1928. No doubt, the concept must (...) have been in the air during the interwar period. In what follows I will characterize the early positivism in Nordic philosophy in terms of a certain style of thought or as a certain habitus of thought. I will single out six basic convictions about philosophy and how to do philosophy that make up a more or less common ground and starting point for the early philosophical positivists in the Nordic countries. However, to begin with I will motivate why I prefer to use the designation “the positive spirit” rather than “positivism”. In the latter part of the article I will then dwell on some more specifi c topics and fi gures relating to the positive spirit or positivism before Logical positivism in Nordic philosophy. (shrink)

The purpose of the present paper is: (1) to outline a conceptual framework useful for the analysis of ethical issues raised by goal-directed activities, (2) to apply this framework to nanoscale research, (3) identify some of the main challenges in the evaluation of such research, and (4) exemplify what is needed for a positive answer to the question “How can nanoscale research improve the quality of life?” A basic idea of the paper is that nanoscale research can improve the conditions (...) and quality of life of large groups in society, provided that: (a) this research is directed at certain generally accepted goals, (b) at least some of the opportunities are exploited for the good of mankind, (c) the key obstacles on the road are eliminated, reduced or circumvented, and (d) this is done in ethically acceptable ways. (shrink)

PREFACEProf. Göran Sundholm of Leiden University inspired the group of Logic at Lille and Valparaíso to start a fundamental review of the dialogical conception of logic by linking it to constructive type logic. One of Sundholm's insights was that inference can be seen as involving an implicit interlocutor. This led to several investigations aimed at exploring the consequences of joining winning strategies to the proof-theoretical conception of meaning. The leading idea is, roughly, that while introduction rules lay down the conditions (...) under which a winning strategy for the Proponent may be built, the elimination rules lay down those elements of the Opponent's assertions that the Proponent has the right to use for building winning strategy. It is the pragmatic and ethical features of obligations and rights that naturally lead to the dialogical interpretation of natural deduction.During the Visiting Professorship of Prof. Sundholm at Lille in (2012) the group of Lille started delving into the ways of implementing Per Martin-Löf's Constructive Type Theory with the dialogical perspective. In particular, Aarne Ranta's (1988) paper, the first publication on the subject, was read and discussed during Sundholm’s seminar. The discussions strongly suggested that the game-theoretical conception of quantifiers as deploying interdependent moves provide a natural link between CTT and dialogical logic. This idea triggered several publications by the group of Lille in collaboration with Nicolas Clerbout and Juan Redmond at the University of Valparaíso, including the publication of the book (2015) by Clerbout / Rahman that provides a systematic development of this way of linking CTT and the dialogical conception of logic. However the Clerbout / Rahman book was written from the CTT perspective on dialogical logic, rather than the other way round. The present book should provide the perspective from the other side of the dialogue between the Dialogical Framework and Constructive Type Theory. The main idea of our present study is that Sundholm's (1997) notion of epistemic assumption is closely linked to the Copy-Cat Rule or Socratic Rule that distinguishes the dialogical framework from other game-theoretical approaches. One way to read the present book is as a further development of Sundholm’s extension of Austin's (1946, p. 171) remark on acts of assertion to inference. Indeed, Sundholm (2013, p. 17) gave the following forceful formulation: When I say therefore, I give others my authority for asserting the conclusion, given theirs for asserting the premisses.Per Martin-Löf, in recent lectures, have utilized the dialogical perspective on epistemic assumptions to get out of a certain circle that threatens the explanation of the notions of inference and demonstration. A demonstration may be explained as a chain of (immediate) inferences starting from no premisses. That an inference J1... Jn—————Jis valid means that the conclusion J can be made evident on the assumption that J1, …, Jn are known. The notion of epistemic assumption thus enters in the explanation of valid inference. We cannot, however, in this explanation understand 'known' in the sense of demonstrated, for then we are explaining the notion of inference in terms of demonstration, whereas demonstration has been explained in terms of inference. Martin-Löf suggests that we here understand 'known' in the sense of asserted, so that epistemic assumptions are judgements others have made, judgements for which others have taken the responsibility; that the inference is valid then means that, given that others have taken responsbility for the premisses, I can take responsibility for the conclusion:The circularity problem is this: if you define a demonstration to be a chain of immediate inferences, then you are defining demonstration in terms of inference. Now we are considering an immediate inference and we are trying to give a proper explanation of that; but, if that begins by saying: Assume that J1, …, Jn have been demonstrated – then you are clearly in trouble, because you are about to explain demonstration in terms of the notion of immediate inference, hence when you are giving an account of the notion of immediate inference, the notion of demonstration is not yet at your disposal. So, to say: Assume that J1, …, Jn have already been demonstrated, makes you accusable of trying to explain things in a circle. The solution to this circularity problem, it seems to me now, comes naturally out of this dialogical analysis. […]The solution is that the premisses here should not be assumed to be known in the qualified sense, that is, to be demonstrated, but we should simply assume that they have been asserted, which is to say that others have taken responsibility for them, and then the question for me is whether I can take responsibility for the conclusion. So, the assumption is merely that they have been asserted, not that they have been demonstrated. That seems to me to be the appropriate definition of epistemic assumption in Sundholm's sense. One of the main tenets of the present study is that the further move of relating the Socratic Rule rule with judgemental equality provides both a simpler and more direct way to implement the constructive type theoretical approach within the dialogical framework. Such a reconsideration of the Socratic Rule, roughly speaking, amounts to the following. 1.A move from P that brings-forward a play-object in order to defend an elementary proposition A can be challenged by O. 2.The answer to such a challenge, involves P bringing forward a definitional equality that expresses the fact that the play-object chosen by P copies the one O has chosen while positing A. For short, the equality expresses at the object-languaje level that the defence of P relies on the authority given to O to be able to produce the play-objects she brings forward. More generally, according to this view, a definitional equality established by P and brought forward while defending the proposition A, expresses the equality between a play-object (introduced by O) and the instruction for building a play-object deployed by O while affirming A. So it can be read as a computation rule that indicates how to compute O's instructions. Let us recall that from the strategic point of view, O's moves correspond to elimination rules of demonstrations. Thus, the dialogical rules that prescribe how to introduce a definitional equality – correspond – at the strategic level – to the definitional equality rules for CTT as applied to the selector-functions involved in the elimination rules. So, what we are doing here is extending the dialogical interpretation of Sundholm's epistemic assumption to the rules that set up the definitional equality of a type.The present work is structured in the following way:•In the Introduction we state the main tenets that guide our book•Chapter II contains a brief overview of Constructive Type Theory penned by Ansten Klev with exercises and their solutions. •Chapter III offers a novel presentation of the dialogical conception of logic. In fact, the first two sections of the chapter provide an overview of standard dialogical logic – including solved exercises, slightly adapted to the content of the present volume. The rest of the sections develop a new dialogical approach to Constructive Type Theory. •Chapters IV and V contain the main body of our study, namely the relation between the Socratic Rule, epistemic assumptions, and equality. The chapter provides the reader with thoroughly worked out examples with comments. •After the Final Remarks the book containsa.An appendix containing a an overview of all the rules for the new formulation of dialogical approach to constructive type theory developed in the book; b.a brief outline of Per Martin-Löf's informal presentation of the demonstration of the axiom of choice.c.two examples of a tree-shaped graph of an extensive strategy. Acknowledgments: Many thanks to Mark van Atten (Paris1), Giuliano Bacigalupo (Zürich), Charles Zacharie Bowao (Univ. Ma Ngouabi de Brazzaville, Congo), Christian Berner (Lille3), Michel Crubellier (Lille3), Pierre Cardascia (Lille3), Oumar Dia (Dakar), Marcel Nguimbi ((Univ. Marien Ngouabi de Brazzaville, Congo), Adjoua Bernadette Dango (Lille3 / Alassane Ouattara de Bouaké, Côte d'Ivoire), Steephen Rossy Eckoubili (Lille3), Johan Georg Granström (Zürich), Gerhard Heinzmann (Nancy2), Muhammad Iqbal (Lille3), Matthieu Fontaine (Lille3), Radmila Jovanovic (Belgrad), Hanna Karpenko (Lille3), Laurent Keiff (Lille3), Sébastien Magnier (Saint Dennis, Réunion), Clément Lion (Lille3), Gildas Nzokou (Libreville), Fachrur Rozie (Lille3), Helge Rückert (Mannheim), Mohammad Shafiei (Paris1), and Hassan Tahiri (Lisbon), for rich interchanges, suggestions on the main claims of the present study and proof-reading of specific sections of the text. Special thanks to Gildas Nzokou (Libreville), Steephen Rossy Eckoubili (Lille3) and Clément Lion (Lille3), with whom a Pre-Graduate Textbook in French on dialogical logic and CTT is in the process of being worked out – during the visiting-professorship in 2016 of the former. Eckoubili is the author of the sections on exercises for dialogical logic, Nzokou cared of those involving the development of CTT-demonstrations out of winning-strategies. Special thanks also to Ansten Klev (Prague) for helping with technical details and conceptual issues on CTT, particularly so as author of the chapter introducing CTT. (shrink)

Because spaying/neutering animals involves the harming of some animals in order to prevent harm to others, some ethicists, like David Boonin, argue that the philosophy of animal rights is committed to the view that spaying/neutering animals violates the respect principle and that Trap Neuter Release programs are thus impermissible. In response, I demonstrate that the philosophy of animal rights holds that, under certain conditions, it is justified, and sometimes even obligatory, to cause harm to some animals in order to prevent (...) greater harm to others. As I will argue, causing lesser harm to some animals in order to prevent greater harm to others, as TNR programs do, is compatible with the recognition of the inherent value of the ones who are harmed. Indeed, we can, and do, spay/neuter cats while acknowledging that they have value in their own right. (shrink)

Non-classical views about important issues in logic and its philosophy are a distinctive trait of Shahid Rahman's work. This volume has been designed, on the occasion of his 50th birthday, as a gathering place for unconventional approaches, original ideas and attempts to question well-established standards. Some of the world top philosophers and logicians contributed to a brilliant collection of papers, some of which doubtlessly leave their mark on the work to come in logic and in philosophy of formal sciences. Contributors (...) are: Philippe Balbiani, Diderik Batens, Johan van Benthem, Giacomo Bonanno, Walter A. Carnielli, Newton C. A. Da Costa, Michel Crubellier, Francisco A. Doria, Dov M. Gabbay, Olivier Gasquet, Gerhard Heinzmann, Andreas Herzig, Jaakko Hintikka, Justine Jacot, Reinhard Kahle, Erik C. W. Krabbe, Decio Krause, Franck Lihoreau, Kuno Lorenz, Ilkka Niiniluoto, Graham Priest, Stephen Read, Manuel Rebuschi, Greg Restall, Gabriel Sandu, Gerhard Schurz, Francois Schwarzentruber, Yaroslav Shramko, Goran Sundholm, John Symons, Christian Thiel, Nicolas Troquard, Tero Tulenheimo, Jean Paul Van Bendegem, Daniel Vanderveken, Yde Venema, Heinrich Wansing, Jan Wolenski and John Woods. (shrink)

It is common for conservationists to refer to non-native species that have undesirable impacts on humans as “invasive”. We argue that the classification of any species as “invasive” constitutes wrongful discrimination. Moreover, we argue that its being wrong to categorize a species as invasive is perfectly compatible with it being morally permissible to kill animals—assuming that conservationists “kill equally”. It simply is not compatible with the double standard that conservationists tend to employ in their decisions about who lives and who (...) dies. (shrink)

The philosophy of animal rights is often characterized as an exclusively justice oriented approach to animal liberation that is unconcerned with, and moreover suspicious of, moral emotions, like sympathy, empathy, and compassion. I argue that the philosophy of animal rights can, and should, acknowledge that compassion plays an integral role in animal liberation discourse and theory. Because compassion motivates moral actors to relieve the serious injustices that other animals face, or, at the very least, compassion moves actors not to participate (...) in or cause these injustices, the philosophy of animal rights can and should recognize both a duty to cultivate compassion and a duty to promote compassion. Contra to feminist critiques of Regan’s justice-approach to ethics, the philosophy of animal rights is not committed to eschewing the moral emotions. (shrink)

An adequate theory of rights ought to forbid the harming of animals to promote trivial interests of humans, as is often done in the animal-user industries. But what should the rights view say about situations in which harming some animals is necessary to prevent intolerable injustices to other animals? I develop an account of respectful treatment on which, under certain conditions, it’s justified to intentionally harm some individuals to prevent serious harm to others. This can be compatible with recognizing the (...) inherent value of the ones who are harmed. My theory has important implications for contemporary moral issues in nonhuman animal ethics, such as the development of cultured meat and animal research. (shrink)

Анотація. У статті проаналізовані досягнення Соціального Вчительства Католицької Церкви, репрезентовані працями Лева ХІІІ, Пія ХІ, Пія ХІІ, Івана Павла ІІ, що розкривають змістовні характеристики поняття «принцип субсидіарності», його роль і значення в системі християнських цінностей. Принцип субсидіарності робить можливими такі взаємовідносини в соціальному житті, коли спільнота вищого порядку не втручається у внутрішнє життя спільноти нижчого порядку, перебираючи на себе належні тій функції; заради спільного добра, спільного блага вона надає їй у разі потреби підтримку й допомогу, узгоджуючи у такий спосіб її (...) взаємодію з іншими соціальними структурами. Принцип субсидіарності скеровує соціальну практику на утвердження спільного блага в людському співтоваристві. Поширення і застосування принципу субсидіарності протистоїть небезпеці «одержавлення» суспільства та найзагрозливіших проявів колективізму, обмежує абсолютизацію влади, бюрократизацію державних і соціокультурних структур, стає одним із гарантів дотримання прав і свобод громадян своєї країни. (shrink)

Introduction -- Saint Thomas : putting nature into natural law -- Maritain and the love for the natural law -- The new natural law and evolutionary natural law -- International human rights, natural law, and Locke -- Conclusion : evil and the limits of the natural law.

Limited research has been done among pregnant people participating in investigational drug trials. To enhance the ethical understanding of pregnant people’s perspectives on research participation, we sought to describe motives and risk perceptions of participants in a phase 1 trial of ledipasvir/sofosbuvir treatment for chronic Hepatitis C virus during pregnancy. Pregnant people with chronic HCV infection enrolled in an open-label, phase 1 study of LDV/SOF participated in semi-structured, in-depth interviews to explore their reasons for participation and experiences within the study. (...) Pregnant people took 12 weeks of LDV/SOF and were interviewed at enrollment and at the end of study. We recorded the interviews, transcribed them verbatim, coded them using NVivo software, and performed inductive thematic analysis. Nine women completed the study yielding 18 interview transcripts. We identified two themes regarding motives and one regarding risk perception. Motives— Women conceptualized study participation as part of the caregiving role they associate with motherhood; participating was viewed as an act of caregiving for their infants, their families, themselves, and other pregnant women with chronic HCV. Women also noted that they faced multiple barriers to treatment prior to pregnancy that created a desire to receive therapy through trial participation. Risk perception— Women acknowledged personal and fetal risk associated with participation. Acceptance of risk was influenced by women’s concepts of motherhood, preexisting knowledge of HCV and medical research, family members, intimate partners, or by the study design. Women enrolled in a phase 1 trial for chronic HCV therapy during pregnancy acknowledged risks of participation and were motivated by hopes for fetal and personal benefit and by lack of prenatal access to treatment. Ethical inclusion of pregnant people in research should acknowledge structural factors that contribute to vulnerability and data deficiencies for treatment in pregnancy. (shrink)

For some time now a number of critics have argued that Juergen Habermas has misinterpreted Freud. The gist of this criticism is that Habermas' interpretation of psychoanalysis as `depth hermeneutics' must violate the intent of Freud's work, which is so deeply grounded in drive theory. In other words, Habermas confuses philosophical reflection with psychoanalysis. This paper takes a somewhat different focus. It examines the consequences of Habermas' interpretation of Freud for Habermas' view of the individual. It is shown that Habermas' (...) interpretation eventuates in an abstract and shadowy view of the individual. It is argued that an alternative view of psychoanalysis, object relations theory, can help locate the source of Habermas' pale view of the individual, and help correct it, without succumbing to `neo-Freudian revisionism'. Object relations theory also suggests that in order to overcome the diminution of the individual in real life it is necessary for political theory to examine seriously the role of the family. Finally, object relations theory generates an interesting criticism of so-called postmodern psychoanalysis—for example, the work of Jacques Lacan. This criticism can help us better understand the relationship between Habermas and modernism. (shrink)

Filozofické pojednání vysvětluje z hlediska marxistického pojetí dějin základní otázky společenského dění, úlohu materiálních činitelů ve vývoji společnosti, protiklad materiálního a ideálního ve společnosti. Druhé vydání je upraveno s přihlédnutím ke kritickým připomínkám.

This chapter is written for an audience that is not intimately familiar with the philosophy of animal consumption. It provides an overview of the harms that animals, the environment, and humans endure as a result of industrial animal agriculture, and it concludes with a defense of ostroveganism and a tentative defense of cultured meat.